Basic Operations on Preordered Coherent Spaces
نویسندگان
چکیده
منابع مشابه
A Convenient Category of Locally Preordered Spaces
As a practical foundation for a homotopy theory of abstract spacetime, we propose a convenient category S , which we show to extend a category of certain compact partially ordered spaces. In particular, we show that S ′ is Cartesian closed and that the forgetful functor S →T ′ to the category T ′ of compactly generated spaces creates all limits and colimits.
متن کاملGalois-type Connections and Closure Operations on Preordered Sets
For a function f of one preordered set X to another Y , we shall establish several consequences of the following two definitions: (a) f is increasingly φ–regular, for some function φ of X to itself, if for any x1 , x2 ∈ X we have x1 ≤ φ (x2) if and only if f (x1) ≤ f (x2); (b) f is increasingly g–normal, for some function g of Y to X , if for any x ∈ X and y ∈ Y we have f (x) ≤ y if and only if...
متن کاملProbability boxes on totally preordered spaces for multivariate modelling
Probability boxes (pairs of cumulative distribution functions) are among the most popular models used in imprecise probability theory. In this paper, we provide new efficient tools to construct multivariate pboxes and develop algorithms to draw inferences from them. For this purpose, we formalise and extend the theory of p-boxes using lower previsions. We allow p-boxes to be defined on arbitrar...
متن کاملSome Utility Theorems on Inductive Limits of Preordered Topological Spaces
One of the main problems in utility theory is to find conditions which imply the numerical representability of topological spaces on which a preorder, or partial order, is defined. This study has reached a wide development in the literature: see, for instance, the works of Eilenberg, Debreu, Fleischer and Jaffray on completely preordered topological spaces [9, 7, 10, 15], and the seminal book b...
متن کاملCoherent updating on finite spaces
We compare the different notions of conditional coherence within the behavioural theory of imprecise probabilities when all the spaces are finite. We show that the differences between the notions are due to conditioning on sets of (lower, and in some cases upper) probability zero. Next, we characterise the range of coherent extensions, proving that the greatest coherent extensions can always be...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2007
ISSN: 1898-9934,1426-2630
DOI: 10.2478/v10037-007-0025-4